union de deux ensembles : $${{A\cup B}} ={{\{x:x\in A\text{ ou }x\in B\} }}$$
Associativité
Distributivité
L'événement \(A\cup B\) est réalisé si et seulement si au moins l'un des deux événements \(A\) ou \(B\) est réalisés
(Disjonction)
"il existe \(k\in{\Bbb N}\) tq \(A_k\)" \(\iff\) \(\bigcup_{k\in{\Bbb N}}A_k\)
(Quantificateur existentiel)